﻿using Library.Collections.Generic;
using Library.Logic.Inference;
using System.Linq;
using System.Linq.Expressions;
using System;
using TRULE = System.Linq.Expressions.Expression<System.Func<System.Linq.IQueryable<System.Linq.Expressions.Expression>, System.Collections.Generic.IEnumerable<System.Collections.Generic.IEnumerable<System.Linq.Expressions.Expression>>>>;
using TEXPRESSION = System.Linq.Expressions.Expression;

namespace Library.Logic
{
    using Library.Logic.Inference;
}
